A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
On the Compatibility of Model and Model-Class Transformations
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Net Theory and Workflow Models (abstract)
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Improving Flexibility of Workflow Management Systems
Business Process Management, Models, Techniques, and Empirical Studies
Process semantics of general inhibitor nets
Information and Computation
Probabilistic event structures and domains
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Clusters, Confusion and Unfoldings
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Best Fairness Hierarchy in Elementary Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Trace Nets and Conflict-free Computations
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
On Ethics of Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Quality-driven model-based architecture synthesis for real-time embedded SoCs
Journal of Systems Architecture: the EUROMICRO Journal
Processes of membrane systems with promoters and inhibitors
Theoretical Computer Science
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
On Trace-Expressible Behaviour of Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Petri Net Security Checker: Structural Non-interference at Work
Formal Aspects in Security and Trust
Modern development methods and tools for embedded reconfigurable systems: A survey
Integration, the VLSI Journal
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed Event Structures and the π-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Typed event structures and the linear π-calculus
Theoretical Computer Science
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Process semantics of P/T-nets with inhibitor arcs
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Failures: their definition, modelling and analysis
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
ECC'11 Proceedings of the 5th European conference on European computing conference
Process semantics for membrane systems
Journal of Automata, Languages and Combinatorics
The mutex paradigm of concurrency
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
On intransitive non-interference in some models of concurrency
Foundations of security analysis and design VI
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Infinite process semantics of inhibitor nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Applying step coverability trees to communicating component-based systems
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Xsb: Extending prolog with tabled logic programming
Theory and Practice of Logic Programming - Prolog Systems
A deductive system for proving workflow models from operational procedures
Future Generation Computer Systems
Managing petri nets in MOF repositories
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Localities in systems with a/sync communication
Theoretical Computer Science
Conformon p systems and topology of information flow
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Causality in structured occurrence nets
Dependable and Historic Computing
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
Membrane Systems with Qualitative Evolution Rules
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
On Trace-Expressible Behaviour of Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Fundamenta Informaticae - New Frontiers in Scientific Discovery - Commemorating the Life and Work of Zdzislaw Pawlak
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
On Ethics of Mazurkiewicz Traces
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
On the α-reconstructibility of workflow nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Trace Nets and Conflict-free Computations
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Best Fairness Hierarchy in Elementary Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Clusters, Confusion and Unfoldings
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Fundamenta Informaticae
Algebraic structure of combined traces
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Brownian Circuits: Fundamentals
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Hi-index | 0.01 |