A LOTOS Specification of the PROWAY Highway Service
IEEE Transactions on Computers
Knowledge-based support for system verification during requirements analysis
SIGCPR '87 Proceedings of the conference on The 1987 ACM SIGBDP-SIGCPR Conference
Modeling the software architecture of a prototype parallel machine
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Communications of the ACM
A canonical form for parallel programs
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
A formalism for the definition of graphical formulas
SIGSMALL '88 Proceedings of the 1988 ACM SIGSMALL/PC symposium on ACTES
Adding browsing semantics to the hypertext model
DOCPROCS '88 Proceedings of the ACM conference on Document processing systems
Petri-net-based hypertext: document structure with browsing semantics
ACM Transactions on Information Systems (TOIS)
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
Programmable browsing semantics in Trellis
HYPERTEXT '89 Proceedings of the second annual ACM conference on Hypertext
A general way to put time in Petri nets
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
ACM SIGPLAN Notices
Implicative formulae in the proofs of computations' analogy
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multi-level specification and verification of real-time software
ICSE '90 Proceedings of the 12th international conference on Software engineering
ACM SIGPLAN Notices
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Early Experience with the Visual Programmer's WorkBench
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays
IEEE Transactions on Computers
Analyzing refinements of state based specifications: the case of TB nets
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Hyperdocuments as automata: trace-based browsing property verification
ECHT '92 Proceedings of the ACM conference on Hypertext
On the power of bounded concurrency I: finite automata
Journal of the ACM (JACM)
On the power of bounded concurrency II: pushdown automata
Journal of the ACM (JACM)
Will I be pretty, will I be rich?: some thoughts on theory vs. practice in systems engineering
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
MI—an object oriented environment for integration of scientific applications
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Groupware concept mapping techniques
SIGDOC '94 Proceedings of the 12th annual international conference on Systems documentation: technical communications at the great divide
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Efficient execution of programs with static semantics
ACM SIGPLAN Notices
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Flexibility and control for dynamic workflows in the WORLDS environment
COCS '95 Proceedings of conference on Organizational computing systems
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Comparing models of computation
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Synthesis of speed-independent circuits from STG-unfolding segment
DAC '97 Proceedings of the 34th annual Design Automation Conference
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
ACM Transactions on Information Systems (TOIS)
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
WSC '86 Proceedings of the 18th conference on Winter simulation
An approach for video meta-data modeling and query processing
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
On generation of state space for timed Petri nets
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
Solving coverability problems of petri nets by partial deduction
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Symbolic Analysis of Bounded Petri Nets
IEEE Transactions on Computers
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
High level transition systems for communicating agents
Concurrent object-oriented programming and petri nets
Inheritance of dynamic behavior
Concurrent object-oriented programming and petri nets
Implementing LTL model checking with net unfoldings
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
Functorial models for petri nets
Information and Computation
Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
A task-based security model to facilitate collaboration in trusted multi-agency networks
Proceedings of the 2002 ACM symposium on Applied computing
Modeling and analyzing separation of duties in workflow environments
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Simulation preorder over simple process algebras
Information and Computation
Formal methods for distributed processing
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Introducation to stochastic Petri nets
Lectures on formal methods and performance analysis
Model checking software architecture specifications in SAM
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Proceedings of the 2002 ACM symposium on Document engineering
A Model to Evaluate the Effect of Organizational Adaptation
Computational & Mathematical Organization Theory
Comparison of Hybrid Systems and Fluid Stochastic PetriNets
Discrete Event Dynamic Systems
The home marking problem and some related concepts
Acta Cybernetica
Developing virtual environments for industrial training
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Interactive virtual environments and distance education
The box algebra = Petri nets + process expressions
Information and Computation
Place/transition Petri net evolutions: recording ways, analysis and synthesis
Fundamenta Informaticae
A G-Net Model for Knowledge Representation and Reasoning
IEEE Transactions on Knowledge and Data Engineering
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge
IEEE Transactions on Knowledge and Data Engineering
Net-Based Computational Models of Knowledge-Processing Systems
IEEE Expert: Intelligent Systems and Their Applications
IEEE Transactions on Software Engineering
Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications
IEEE Transactions on Software Engineering
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
IEEE Transactions on Software Engineering
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Analysis of performance bottlenecks in multithreaded multiprocessor systems
Fundamenta Informaticae - Application of concurrency to system design
Modeling workflow processes with colored Petri nets
Computers in Industry
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Logical Inference of Horn Clauses in Petri Net Models
IEEE Transactions on Knowledge and Data Engineering
From Play-In Scenarios to Code: An Achievable Dream
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
On the Expressiveness of Event Notification in Data-Driven Coordination Languages
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Reformulation and Approximation in Model Checking
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Correct Real-Time Software for Programmable Logic Controllers
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Teaching Object-Oriented Programming Is More than Teaching Object-Oriented Programming Languages
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
An Ontological Analysis of Integrated Process Modelling
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Design Principles for Application Integration
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
A State Machine Based Approach for a Process Driven Development of Web-Applications
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Towards a Framework for Comparing Process Modelling Languages
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
On Combining the Persistent Sets Method with the Covering Steps Graph Method
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Efficient Verification Algorithms for One-Counter Processes
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Developing Quality Software Systems Using the SOFL Formal Engineering Method
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Learning and Rewriting in Fuzzy Rule Graphs
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Analyzing Separation of Duties in Petri Net Workflows
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
High-Level Petri Nets as Type Theories in the Join Calculus
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Executable Design Models for a Pervasive Healthcare Middleware System
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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
Approximating the Behaviour of Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
On Stubborn Sets in the Verification of Linear Time Temporal Properties
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Optimising Enabling Tests and Unfoldings of Algebraic System Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Attacking Symbolic State Explosion
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
Validation of Process Models by Construction of Process Nets
Business Process Management, Models, Techniques, and Empirical Studies
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Formalizing Timing Diagrams as Causal Dependencies for Verification Purposes
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
On Simulation-Checking with Sequential Systems
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Some Decidability Results for Nested Petri Nets
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Guidelines of Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Applying SOFL to Develop a University Information System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
On the success of stochastic Petri nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Giving a net semantics to Markovian process algebra
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Timed Petri net models of multithreaded multiprocessor architectures
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Capturing Time Constraints by Using Petri-nets in the Context of Hardware/Software Codesign.
RSP '96 Proceedings of the 7th IEEE International Workshop on Rapid System Prototyping (RSP '96)
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Towards a User-Friendly Design and Verification Environment
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
From process algebra to visual language
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Development of an International Standard for High-level Petri Nets
ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
Automatic component protocol adaptation with the CoConut/J tool suite
Future Generation Computer Systems - Tools for program development and analysis
Fundamenta Informaticae
Proving nets correct via cause-effect structures (an experiment)
Fundamenta Informaticae - Concurrency specification and programming
Modelling a sender-receiver system
Acta Cybernetica
The complexity of bisimilarity-checking for one-counter processes
Theoretical Computer Science
Synthesis of Petri net models: a rough set approach
Fundamenta Informaticae - Concurrency specification and programming
The word problem for 1LC congruences is NP-hard
Theoretical Computer Science
An algebraic characterization of independence of Petri net processes
Information Processing Letters - Special issue: Contribution to computing science
A hardware design system based on object-oriented principles
EURO-DAC '91 Proceedings of the conference on European design automation
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Theoretical Computer Science
Observational trees as models for concurrency
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
A simple process algebra based on atomic actions with resources
Mathematical Structures in Computer Science
Extracting semantic roles from a model of eventualities
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Simulation of error-prone biological systems
WISICT '04 Proceedings of the winter international synposium on Information and communication technologies
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Model checking object petri nets in prolog
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
On Stubborn Sets in the Verification of Linear Time Temporal Properties
Formal Methods in System Design
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
New characterization for live and reversible augmented marked graphs
Information Processing Letters
Plan validation via petri nets in the real-time performers Java framework
Proceedings of the 2005 ACM symposium on Applied computing
Cycle inclusion property of augmented marked graphs
Information Processing Letters
Hermes: a methodology for goal oriented agent interactions
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Agent-Based Flow Control for HLA Components
Simulation
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Structural soundness of workflow nets is decidable
Information Processing Letters
Applying the Value/Petri process to ERP software development in China
Proceedings of the 28th international conference on Software engineering
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Theoretical Computer Science
Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
An analysis of the Petri net based model of the human body iron homeostasis process
Computational Biology and Chemistry
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovering Concurrent Models from Data Tables with the ROSECON System
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
An Axiomatic Framework for Proving Correctness of Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Rudder: An agent-based infrastructure for autonomic composition of grid applications
Multiagent and Grid Systems
Statecharts in the making: a personal account
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
A software framework for automated verification
Proceedings of the 2007 ACM symposium on Applied computing
Analysis and verification of an automatic document feeder
Proceedings of the 2007 ACM symposium on Applied computing
Triggered Message Sequence Charts
IEEE Transactions on Software Engineering
Model-driven Development of Complex Software: A Research Roadmap
FOSE '07 2007 Future of Software Engineering
Incremental construction of coverability graphs
Information Processing Letters
Verification of Random Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
An integrated approach to coordination description in distributed multimedia applications
Integrated Computer-Aided Engineering
A Petri Net Based Method for Refining Object Oriented System Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
DFL: A dataflow language based on Petri nets and nested relational calculus
Information Systems
Model and infrastructure for decentralized workflow enactment
Proceedings of the 2008 ACM symposium on Applied computing
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Augur 2 --- A New Version of a Tool for the Analysis of Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming sequential processes of net systems into concurrent ones
International Journal of Knowledge-based and Intelligent Engineering Systems
A proactive management algorithm for self-healing mobile ad hoc networks
International Journal of Network Management
Journal of Systems and Software
Proceedings of the 2008 Spring simulation multiconference
Generalized communicating P systems
Theoretical Computer Science
Synchronizing control flow in a tuplespace-based, distributed workflow management system
Proceedings of the 10th international conference on Electronic commerce
Improving an interactive visualization of transition systems
Proceedings of the 4th ACM symposium on Software visualization
Fuzzy-Timing Petri Nets with Choice Probabilities for Response Time Analysis
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
IEA/AIE '08 Proceedings of the 21st international conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: New Frontiers in Applied Artificial Intelligence
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
A Workflow System Based on Meta Services in Grid Environments
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Automatic Transactions Identification in Use Cases
Balancing Agility and Formalism in Software Engineering
Analysis of Role Behavior in Collaborative Network Learning
Edutainment '08 Proceedings of the 3rd international conference on Technologies for E-Learning and Digital Entertainment
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Concurrency, Synchronization, and Conflicts in Petri Nets
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
A Biologically Inspired Model with Fusion and Clonation of Membranes
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Open Petri Nets: Non-deterministic Processes and Compositionality
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Towards the Verification of Attributed Graph Transformation Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Resource workflow nets: an approach to workflow modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Robotics and Computer-Integrated Manufacturing
Verifying liveness for asynchronous programs
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Designing Case Handling Systems
Transactions on Petri Nets and Other Models of Concurrency I
Model Driven Testing Based on Test History
Transactions on Petri Nets and Other Models of Concurrency I
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Reachability Analysis in BioAmbients
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rice-style theorem for parallel automata
Information and Computation
Nets with Tokens which Carry Data
Fundamenta Informaticae - PETRI NETS 2007
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Using tuplespaces to enact petri net-based workflow definitions
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
On the Qualitative Analysis of Conformon P Systems
Membrane Computing
Expressiveness of Multiple Heads in CHR
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Classification and evaluation of timed running schemas for workflow based on process mining
Journal of Systems and Software
Boolean Algebra of Nets, their Synthesis and Analysis
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Model-based reasoning on the achievement of business goals
Proceedings of the 2009 ACM symposium on Applied Computing
A Framework for Linking and Pricing No-Cure-No-Pay Services
Transactions on Petri Nets and Other Models of Concurrency II
The Calculus of Handshake Configurations
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Formal Aspects in Security and Trust
Modeling the process of human body iron homeostasis using a variant of timed Petri nets
Discrete Applied Mathematics
Specification and verification of time requirements with CCSL and Esterel
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems
Open paper: caT: adapting and updating the trellis hypertext model
The New Review of Hypermedia and Multimedia
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
A Petri Net Model of Handshake Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Generation of Database Transactions with Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Using process mining to identify models of group decision making in chat data
CSCL'09 Proceedings of the 9th international conference on Computer supported collaborative learning - Volume 1
Encoding Asynchronous Interactions Using Open Petri Nets
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
The κ-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Teleo-reactive programs for agent control
Journal of Artificial Intelligence Research
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Qualitative and quantitative analysis of workflows based on the UML activity diagram and Petri net
WSEAS Transactions on Information Science and Applications
(Toward) discrete-event simulation of reflective Petri nets
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
IEEE Transactions on Robotics - Special issue on rehabilitation robotics
Soundness for S- and A-timed workflow nets is undecidable
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
XML representation of metabolic P systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
A Relation-Algebraic Approach to Liveness of Place/Transition Nets
RelMiCS '09/AKA '09 Proceedings of the 11th International Conference on Relational Methods in Computer Science and 6th International Conference on Applications of Kleene Algebra: Relations and Kleene Algebra in Computer Science
Modeling and Analyzing Web Service Behavior with Regular Flow Nets
WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
Verifying a Behavioural Logic for Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Truly Concurrent Logic via In-Between Specification
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Adding debugging support to the Prometheus methodology
Engineering Applications of Artificial Intelligence
On the specification and implementation of distributed systems using NMDS and LIPS
Information and Software Technology
Information and Software Technology
Information Processing Letters
Structural soundness of workflow nets is decidable
Information Processing Letters
New characterization for live and reversible augmented marked graphs
Information Processing Letters
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Structural non-interference in elementary and trace nets
Mathematical Structures in Computer Science
Deciding reachability problems in turing-complete fragments of mobile ambients
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Protocol analysis through alternating-time temporal logic and timed petri net models
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
Tuplespace middleware for Petri net-based workflow execution
International Journal of Web and Grid Services
Integration techniques in intelligent operational management: a review
Knowledge-Based Systems
Hybrid Functional Petri Nets as MP systems
Natural Computing: an international journal
Models and tools for managing development processes
Models and tools for managing development processes
Journal of Visual Languages and Computing
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A compositional model of time Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Interacting code motion transformations: their impact and their complexity
Interacting code motion transformations: their impact and their complexity
Evolving Petri nets with a genetic algorithm
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
On the application of clustering techniques to support debugging large-scale multi-agent systems
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Modelling mobility and mobile agents using nets within nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A logic for analyzing abstractions of graph transformation systems
SAS'03 Proceedings of the 10th international conference on Static analysis
Interacting automata for modelling distributed systems
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartII
BPM'03 Proceedings of the 2003 international conference on Business process management
Pattern based workflow design using reference nets
BPM'03 Proceedings of the 2003 international conference on Business process management
Introduction to generalized stochastic Petri nets
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Nets with tokens which carry data
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A behavioural congruence for web services
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
On the efficient computation of the minimal coverability set for Petri nets
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
A synthesis of concurrent systems: a rough set approach
RSFDGrC'03 Proceedings of the 9th international conference on Rough sets, fuzzy sets, data mining, and granular computing
Property-preserving composition of distributed system components
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Petri nets for systems and synthetic biology
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
Modelling and performance analysis of component-based systems
International Journal of Critical Computer-Based Systems
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
The reachability problem for branching vector addition systems requires doubly-exponential space
Information Processing Letters
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
An efficient reactive planner for synthesizing reactive plans
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Symmetries, local names and dynamic (de)-allocation of names
Information and Computation
Concepts for computer assisted engineering process management
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Reachability games on extended vector addition systems with states
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Z-reachability problem for games on 2-dimensional vector addition systems with states is in P
RP'10 Proceedings of the 4th international conference on Reachability problems
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Representations of Petri net interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
On the verification of membrane systems with dynamic structure
Natural Computing: an international journal
Construction of asynchronous communicating systems: weak termination guaranteed!
SC'10 Proceedings of the 9th international conference on Software composition
Evolving concurrent Petri net models of epistasis
ACIIDS'10 Proceedings of the Second international conference on Intelligent information and database systems: Part II
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
Applying Hmheuristics in Petri nets reachability problem
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Strand algebras for DNA computing
Natural Computing: an international journal
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
The geometry and algebra of commitment
Ludics, dialogue and interaction
Information edaphology: how can we restore "nature" to our cybersociety?
ICS'06 Proceedings of the 10th WSEAS international conference on Systems
A Survey on Methods for Modeling and Analyzing Integrated Biological Networks
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Performance limitations of block-multithreaded distributed-memory systems
Winter Simulation Conference
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
Dynamic soundness in resource-constrained workflow nets
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
How much is worth to remember? a taxonomy based on petri nets unfoldings
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
A lumped Markov process for a class of dynamic Petri nets
Proceedings of the 44th Annual Simulation Symposium
High Performance Hybrid Functional Petri Net Simulations of Biological Pathway Models on CUDA
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Generalized state equation for Petri nets
WSEAS TRANSACTIONS on SYSTEMS
On categories of fuzzy petri nets
Advances in Fuzzy Systems
Computational completeness of tissue p systems with conditional uniport
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed unfolding of petri nets
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Reachability analysis in boxed ambients
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
An algebra of petri nets with arc-based time restrictions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Fault distinguishability of discrete event systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Deciding behavioural properties in brane calculi
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Modelling and analysing genetic networks: from boolean networks to petri nets
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
On the computational power of the mate/bud/drip brane calculus: interleaving vs. maximal parallelism
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Petriweb: a repository for petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Compositional semantics for UML 2.0 sequence diagrams using petri nets
SDL'05 Proceedings of the 12th international conference on Model Driven
Separation of concerns in hypertext: articulation points that increase flexibility
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Deciding reachability in mobile ambients
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Composing transitions into transactions in UML diagrams
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Fault diagnosis of discrete event systems using place invariants
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
On the equivalence between liveness and deadlock-freeness in petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A framework to decompose GSPN models
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A complete abstract interpretation framework for coverability properties of WSTS
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Prioritized and parallel reactions in shared data space coordination languages
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Modeling semantic information in engineering applications: a review
Artificial Intelligence Review
Algorithmic verification of asynchronous programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Canonical transition set semantics for petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Hermes: designing goal-oriented agent interactions
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Multi-modal scenarios revisited: A net-based representation
Theoretical Computer Science
Information system modeling for analysis of propagation effects and levels of damage
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III
An ASM-Characterization of a class of distributed algorithms
Rigorous Methods for Software Construction and Analysis
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Conformon p systems and topology of information flow
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Unfoldings of bounded hybrid petri nets
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
On the termination of integer loops
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
Defining Fairness in Reactive and Concurrent Systems
Journal of the ACM (JACM)
Propagating changes between aligned process models
Journal of Systems and Software
Stochastic specification and verification
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Finding finite herbrand models
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Symbolic execution of concurrent systems using Petri nets
Computer Languages
Research: Object model for hypermedia applications
Computer Communications
Mathematical and Computer Modelling: An International Journal
A virtual deployment testing environment for enterprise software systems
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures
Control Flow Analysis of Generalised Boolean Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Petri Net Semantics for A 2CCS
Fundamenta Informaticae
Fundamenta Informaticae - Application of Concurrency to System Design, the Eighth Special Issue
Analysis and Synthesis of Net Structures and Transition Graphs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Generation of Database Transactions with Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A Net-based Approach to Web Services Publication and Replaceability
Fundamenta Informaticae - Petri Nets 2008
Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
Fundamenta Informaticae - Petri Nets 2008
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Boolean Algebra of Nets, their Synthesis and Analysis
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Nets with Tokens which Carry Data
Fundamenta Informaticae - PETRI NETS 2007
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
An Axiomatic Framework for Proving Correctness of Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovering Concurrent Models from Data Tables with the ROSECON System
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Discovery of Asynchronous Concurrent Models from Experimental Tables
Fundamenta Informaticae - International Conference on Soft Computing and Distributed Processing (SCDP'2002)
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Proving Nets Correct via Cause-Effect Structures (An Experiment)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Fundamenta Informaticae
Synthesis of Petri Net Models: A Rough Set Approach
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Analysis of Performance Bottlenecks in Multithreaded Multiprocessor Systems
Fundamenta Informaticae - Application of Concurrency to System Design
Place/Transition Petri net Evolutions: Recording Ways, Analysis and Synthesis
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
ω-Process Languages for Place/Transition Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Rational, Linear and Algebraic Process Languages and Iteration Lemmata
Fundamenta Informaticae
Stable Models for Stubborn Sets
Fundamenta Informaticae
Net-Definability of Process Languages
Fundamenta Informaticae
Iteration Lemmata for Certain Classes of Word, Trace and Graph Languages
Fundamenta Informaticae
On Causality Semantics of Nets with Priorities
Fundamenta Informaticae
Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs
Fundamenta Informaticae
Cause-Effect Structures - Structural and Semantic Properties Revisited
Fundamenta Informaticae
Semantics Of Timed Concurrent Systems
Fundamenta Informaticae
Processes in Cause-Effect Systems
Fundamenta Informaticae
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Fundamenta Informaticae
Jumping Petri Nets. Specific Properties
Fundamenta Informaticae
Fundamenta Informaticae
Fundamenta Informaticae
Combining Ccs And Petri Nets Via Structural Axioms
Fundamenta Informaticae
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
On the Termination of Integer Loops
ACM Transactions on Programming Languages and Systems (TOPLAS)
The covering and boundedness problems for branching vector addition systems
Journal of Computer and System Sciences
Petri nets approach to modeling of immune system and autism
ICARIS'12 Proceedings of the 11th international conference on Artificial Immune Systems
On the coverability and reachability languages of monotonic extensions of Petri nets
Theoretical Computer Science
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems
Model-based services convergence and multi-clouds integration
Computers in Industry
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Causality-Based verification of multi-threaded programs
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Defining variability in activity diagrams and Petri nets
Science of Computer Programming
Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets
Journal of Biomedical Informatics
A comparison of two agent interaction design approaches
Multiagent and Grid Systems
Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P
Fundamenta Informaticae - MFCS & CSL 2010 Satellite Workshops: Selected Papers
Rough Net Structures-Example of Information System
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
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.04 |