Petri nets for modelling fault tolerant distibuted systems in a modular and incremental way
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
IEEE Transactions on Software Engineering
A Formal Architectural Model for Logical Agent Mobility
IEEE Transactions on Software Engineering
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction
CL '00 Proceedings of the First International Conference on Computational Logic
Theoretical Aspects of Recursive Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Electronic Notes in Theoretical Computer Science (ENTCS)
DFL: A dataflow language based on Petri nets and nested relational calculus
Information Systems
Forward Analysis for WSTS, Part II: Complete WSTS
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A well-structured framework for analysing petri net extensions
Information and Computation
Towards biopathway modeling and simulation
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Web service orchestration with super-dual object nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Ion channel modeling and simulation using hybrid functional Petri net
LSMS/ICSEE'10 Proceedings of the 2010 international conference on Life system modeling and simulation and intelligent computing, and 2010 international conference on Intelligent computing for sustainable energy and environment: Part III
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
Preface: Petri nets for Systems and Synthetic Biology
Natural Computing: an international journal
How might petri nets enhance your systems biology toolkit
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Preface: Petri nets for Systems and Synthetic Biology
Natural Computing: an international journal
Petri net models for the semi-automatic construction of large scale biological networks
Natural Computing: an international journal
Petri net + nested relational calculus = dataflow
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Neural system modeling and simulation using hybrid functional Petri net
Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine
The theory of WSTS: the case of complete WSTS
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Jumping Petri Nets. Specific Properties
Fundamenta Informaticae
On persistent reachability in Petri nets
Information and Computation
The expressive power of time Petri nets
Theoretical Computer Science
Computable fixpoints in well-structured symbolic model checking
Formal Methods in System Design
Equations for Asynchronous Message Passing
Fundamenta Informaticae - Concurrency, Specification and Programming
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication
Fundamenta Informaticae - Dedicated to the Memory of Professor Manfred Kudlek
Hi-index | 0.00 |