Вы здесь

Главная

сети петри

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

Executions: a new partial-order semantics of Petri nets
Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets
Experiences on SIMD Massively Parallel GSPN Analysis
Experimental Version of Parallel Programs Translator from Petri Nets to C++
Exploiting T-invariant Analysis in Diagnostic Reasoning on a Petri Net Model
Expressively of Timed Petri Nets: Classical versus Time-Critical Viewpoint
Expressivity of Timed Petri Nets: Classical versus Time-Critical Viewpoint
Fairness in Deadlockfree Petri Nets with the Finite Delay Property
Faster Asynchronous Systems
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets
Flexibility in Algebraic Nets
FM 2014: Formal Methods: Proc./19th International Symposium, Singapore, May 2014
Formal Analysis of Real-Time Systems with SAM
Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg
Formal Development of Actor Programs Using Structures Algebraic Petri Nets
Formalisation of the behavior of across by colored Petri nets and some applications
Formalization of a Spatialized Multiagent Model using Coloured Petri Nets for the Study of an Hunting Management System
Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008
Formal Methods for Industrial Critical Systems: Proc./18th International Workshop, FMICS 2013, Madrid, Spain, September 2013
Formal Methods for Performance Evaluation: Advanced Lectures/7th International Summer School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007. Bertinoro, Italy, May/June 2007
Formal Methods for the Design of Real-Time Systems: Revised Lectures/International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004. Bertintoro, Italy, September 2004
Formal Modeling and Analysis of Timed Systems: Proc./12th International Conference, FORMATS 2014, Florence, Italy, September 2014
Formal Modeling and Analysis of Timed Systems: Proc./4th International Conference, FORMATS 2006. Paris, France, September 2006
Formal Modeling and Analysis of Timed Systems: Proc./6th International Conference, FORMATS 2008. Saint Malo, France, September 2008
Formal Modeling and Analysis of Timed Systems: Proc./8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 2010
Formal Specification and Analysis of Communication Protocols using NPNs
Formal Specification and Prototyping of CORBA Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2004: Proc./24th IFIP WG 6.1 International Conference. Madrid, Spain, September 2004
Formal Techniques for Networked and Distributed Systems - Forte 2005: Proc./25th IFIP WG 6.1 International Conference. Taipei, Taiwan, October 2005
Formal Techniques for Networked and Distributed Systems - FORTE 2006: Proc./26th IFIP WG 6.1 International Conference. Paris, France, September 2006
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004
Formal Verification of an Arbiter Cascade
Foundations of Computer Science: Potential - Theory - Cognition
Foundations of Software Science, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 2018
From Coloured Petri Nets to Object Petri Nets
From Petri Nets to Linear Logic
From Programs to Systems. The System Perspective in Computing: Proc./ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 2014
Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties
FSPNs: Fluid Stochastic Petri Nets
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Proc./24th International Conference. Chennai, India, December 2004
Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
Functional Equivalences of Petri Nets
Functionality and performance analysis of B-net models
Functional Nets
Fundamentals of Software Engineering: Revised Selected Papers/3rd IPM International Conference, FSEN 2009, Kish Island, Iran, April 2009
Fundamentals of Software Engineering: Revised Selected Papers/5th International Conference, FSEN 2013, Tehran, Iran, April 2013
Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019
Further Remarks on the Relationship between C-E Structures and Petri Nets
Fuzzy Petri Net Representation and Reasoning Methods for Rule-Based Decision Making Systems