Вы здесь

Главная

Venice

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

About the concurrent behaviour of EN systems: definability and closure results
A comparative study of different technics of semi-flows computation in High Level Nets
A Conceptual Framework for the Characterization of Petri Net Description Techniques
A Note of Observable Occurrence Nets
A Petri Net-Based Expert System for Flexible Manufacturing Management
A Petri net model of SDL
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
Applications and Theory of Petri Nets
A Predicate/Transition-Net Model of a Local Area Network Protocol
Checking Database Integrity Constraints while Simulating Information System Behaviour
Computation of Flows for Unary-Predicates/Transitions-Nets
CSP-Programs as Nets with Individual Tokens
Descriptive and Analytical Process Algebras
Efficient Algorithms for Computing S-invarints for Predicate/Transition Nets
Elementary Net Systems and Dynamic Logic
Equivalence Transformations of PrT-Nets
Error Detection by Reduced Reachability Graph Generation
Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums
Fairness in Deadlockfree Petri Nets with the Finite Delay Property
Formalization of Generics for the .NET Common Language Runtime
Formal Specification and Analysis of Communication Protocols using NPNs
Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties
Improving the Efficiency of the Analysis of DSPN Models
Incremental Execution of Transformation Specifications
Introducing a Color Formalism into Generalized Stochastic Petri Nets
Mazurkiewicz Traces Semantics for Communicating Sequential Processes
Modelling and Validation of Complex Systems by Coloured Petri Nets. Application to a Flexible Manufacturing System
Modelling Interactions in Locking Systems with Petri-Nets
Multiprocessor System Architecture for the Execution of Higher Petri Nets
On Common Structures of Petri Nets and Data Flow Graphs
Petri Nets Initial Algebra Semantics Approach. Part 1
Petri Nets Tutorial
Polynomial Time Proof or Disproof of Commoner s Structural Property in Petri Nets
POPL 2004: The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
PROTOB Object-Oriented Graphical Modelling and Programming Based on PROT Nets
PSI: A Petri Nets Based Simulator for Flexible Manufacturing Systems
P/T-systems as abstractions of C/E-systems
Remarks on Timed Nets
Safe States in Banker like Resource Allocation Problems
Semantic Types: A Fresh Look at the Ideal Model for Types
Simple Relational Correctness Proofs for Static Analyses and Program Transformations
Symbolic Transfer Function-based Approaches to Certified Compilation
Synchronized Condition / Event Systems
System Engineering and Nets
The Equivalence between the Well Behaved Bipolar Synchronisation Schemes and the Live and Safe Free Choice Nets without Frozen Token
Timed Petri Nets and Application to Multi-stage Production Systems
Towards a Net-Theoretic Notion of Type based on Predicate-Transition Nets
Towards Reachability Trees for High-Level Petri Nets
Transformations of Petri Nets