Вы здесь

Главная

сети петри

Связанные издания:

Another Net Representation of Old China s Eight Seasons
A Notion of Equivalence for Stochastic Petri Nets
A Notion of Petri Net Entity for Communication Protocol Design/Inst. Automation and Control Processes. Far Eastern Dep.
A Partial Order Method for the Verification of Time Petri Nets
A Petri Net Approach for the Analysis of VHDL Descriptions
A Petri Net Based Environment for the Design of Event-Driven Interfaces
A Petri Net-Based Expert System for Flexible Manufacturing Management
A Petri-Net-Based Method to the Design of Parallel Programs for a Multiprocessor System
A Petri Net-based Visual Language for Specifying GUIs
A Petri Net Entity as a formal Model for LOTOS, a Specification Language for distributed and concurrent Systems
A Petri Net Model for Nonmonotonic Reasoning Based on Annotated Logic Programs
A Petri net model of SDL
A Petri Net Semantics for Pi-calculus
A Petri nets semantics for data flow networks
A Petry Net Entity as a Formal Model for Lotos, a Specification Language for Distributed and Concurrent Systems
A Polinomial-time Graph Algorithm to Decide Liveness of some Basic Classes of Bounded Petri Nets
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
Application and Theory of Petri Nets 1992:Proc./13th International Conference Sheffield, UK, June 1992
Application and Theory of Petri Nets 1993: Proc./14th Intern. Conf. Chicago, Illinois, USA, June 1993
Application and Theory of Petri Nets 1994: Proc./15th Intern Conf. Zaragoza, Spain, June 1994
Application and Theory of Petri Nets 1995: Proc./16th Intern. Conf. Turin, Italy, June 1995
Application and Theory of Petri Nets 1996: Proc./17th Intern. Conf. Osaka, Japan, June 1996
Application and Theory of Petri Nets 1997: Proc./18th Intern. Conf., ICATPN 97. Toulouse, France, June 1997
Application and Theory of Petri Nets 1998: Proc./19th Intern. Conf., ICATPN 98. Lisbon, Portugal, June 1998
Application and Theory of Petri Nets 1999: Proc./20th Intern. Conf., ICATPN 99. Williamsburg, Virginia, USA, June 1999
Application and Theory of Petri Nets 2000: Proc./21st Intern. Conf., ICATPN 2000. Aarhus, Denmark, June 2000
Application and Theory of Petri Nets 2002: Proc./23rd Intern. Conf., ICATPN 2002, Adelaide, Australia, June 2002
Application and Theory of Petri Nets and Concurrency: Proc./36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 2015
Application and Theory of Petri Nets and Concurrency: Proc./37th International Conference, PETRI NETS 2016, Torun, Poland, June 2016
Application and Theory of Petri Nets and Concurrency: Proc./38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 2017
Application and Theory of Petri Nets and Concurrency: Proc./39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 2018
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Application and Theory of Petri Nets: Proc./33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 2012
Application and Theory of Petri Nets: Proc./9th European Workshop, vol II. Venice, Italy, 22-24 June 1988
Application and Theory of Petri Nets: Proc./9th European Workshop, vol I. Venice, Italy, 22-24 June 1988
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols
Application of Petri Nets to Communication Networks: Advances in Petri Nets
Applications and Theory of Petri Nets
Applications and Theory of Petri Nets 2001: Proc./22nd Intern. Conf., ICATPN 2001, Newcastle upon Tyne, UK, June 2001
Applications and Theory of Petri Nets 2003: Proc./24th Intern. Conf., ICATPN 2003, Eindhoven, The Netherlands, June 2003
Applications and Theory of Petri Nets 2004: Proc./25th International Conference, ICATPN 2004. Bologna,Italy,June 2004
Applications and Theory of Petri Nets 2005: Proc./26th International Conference, ICATPN 2005. Miami, USA, 2005
Applications and Theory of Petri Nets and Concurrency: Proc./34th International Conference, PETRI NETS 2013, Milan, Spain, June 2013
Applications and Theory of Petri Nets and Concurrency: Proc./35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 2014
Applications and Theory of Petri Nets: Proc./29th International Conference, PETRI NETS 2008. Xi an, China, June 2008
Applications and Theory of Petri Nets: Proc./30th International Conference, PETRI NETS 2009. Paris, France, June 2009
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
Application to Petri Nets to Sequence Control
Approximate Mean Value Analysis for Stochatic Marked Graphs