Stem petri$ (all stems)

293 papers:

CASE-2015-BasileCC #identification #modelling #petri net #realtime

Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.

CASE-2015-ChengHL #automation #petri net #robust #synthesis #using

Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.

CASE-2015-ChenH #assembly #automation #distributed #petri net #using

Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.

CASE-2015-KloetzerM #modelling #multi #petri net

Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.

CASE-2015-LennartsonBW #hybrid #optimisation #petri net

Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.

CASE-2015-UeharaHK #modelling #petri net

Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.

CASE-2015-YangH0 #assembly #automation #distributed #petri net

A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.

CASE-2015-ZhuQZ #clustering #modelling #multi #petri net #scheduling #tool support

Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.

ICGT-2015-Padberg #configuration management #petri net

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.

ICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #petri net #simulation #using

Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.

ICEIS-v2-2015-Brant-RibeiroAM #approach #interactive #modelling #petri net #using #web

A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets (TBR, RDA, IM, MSS, RGC), pp. 37–48.

ICEIS-v2-2015-SarmientoALS #modelling #petri net

Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.

ICEIS-v3-2015-ThabetGG #analysis #mining #petri net #process

Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.

SEKE-2015-DingZ #modelling #petri net #using

Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.

SEKE-2015-LiuH #petri net #pipes and filters #verification

PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.

SAC-2015-BourdilBDV #petri net #symmetry

Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.

LICS-2015-BrunetP #automaton #petri net

Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.

LICS-2015-HeijltjesH #bound #complexity #logic #petri net #proving

Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.

CASE-2014-FantiMULV #health #petri net

A Petri net model of an integrated system for the Health Care At Home management (MPF, AMM, WU, JJL, KV), pp. 582–587.

CASE-2014-GaoLWA #monitoring #petri net #problem #sequence #using

A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.

CASE-2014-HuCLY #approach #automation #comparative #petri net #using

A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.

CASE-2014-HuYLC #analysis #automation #modelling #multi #petri net

Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.

CASE-2014-LiLT #petri net #probability #process #scheduling

A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.

CASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #petri net #scheduling #tool support

Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.

LATA-2014-BestD #bound #graph #petri net

Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.

LATA-2014-Martos-SalgadoR #network #petri net

Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.

GT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface

Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).

HCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #petri net #using

PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.

ICEIS-v2-2014-BarretoFSJ #formal method #petri net #using

A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.

ICEIS-v3-2014-ThabetGG #mining #petri net #process #towards

Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.

KEOD-2014-FatyaniIP #ontology #petri net #simulation

Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.

SEKE-2014-XuS #automation #effectiveness #petri net #testing

Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.

SPLC-2014-MennickeLSW #automation #feature model #petri net #process #verification #workflow

Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.

CASE-2013-0011ZD #petri net #robust #specification

Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.

CASE-2013-HuZL #automation #performance #petri net #synthesis #using

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.

CASE-2013-HuZL13a #automation #distributed #petri net #scalability

Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.

CASE-2013-IordacheWZA #design #performance #petri net #specification

Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.

CASE-2013-PanHJ #concurrent #flexibility #petri net #policy #using

One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets (YLP, HH, MJ), pp. 924–929.

CASE-2013-YueH13a #assembly #concurrent #petri net #policy #polynomial #process

A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets (HY, HH), pp. 1151–1156.

CASE-2013-ZhuWQZ #clustering #modelling #multi #petri net #scheduling #tool support

Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (QZ, NW, YQ, MZ), pp. 862–867.

CAiSE-2013-FahlandG #design #enterprise #integration #middleware #petri net #using

Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets (DF, CG), pp. 400–416.

SEKE-2013-BublitzSOLAP #adaptation #pervasive #petri net #specification

A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.

SEKE-2013-DingXG #approach #petri net #specification

An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.

CASE-2012-HouLZ #on the #petri net

On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.

CASE-2012-MatsumotoN #approach #clustering #composition #concurrent #petri net #scheduling #tool support

Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools (IM, TN), pp. 194–199.

CASE-2012-QiaoWZ #analysis #clustering #petri net #scheduling #tool support

Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 206–211.

CASE-2012-WikborgL #multi #petri net #problem #scheduling

Scheduling of Petri nets as a multi-objective shortest path problem (UW, TEL), pp. 212–217.

FoSSaCS-2012-GlabbeekGS #on the #petri net

On Distributability of Petri Nets — (Extended Abstract) (RJvG, UG, JWSU), pp. 331–345.

TACAS-2012-DavidJJJMS #development #ide #petri net

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.

LATA-2012-CiobanuP #petri net

Catalytic Petri Nets Are Turing Complete (GC, GMP), pp. 192–203.

GT-VMT-2012-GabrielLE #algebra #approach #petri net

Algebraic Approach to Timed Petri Nets (KG, PL, CE).

SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification

Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.

SEKE-2012-FitchX #fault tolerance #petri net

A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.

SEKE-2012-LuZZBA #decidability #invariant #petri net

Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.

SEKE-2012-RahmaniAS #modelling #performance #petri net #web #web service

Petri Net Modeling of Application Server Performance for Web Services (MR, AHA, HPS), pp. 305–310.

SEKE-2012-WangL #analysis #approach #modelling #petri net #workflow

Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.

ECMFA-2012-WinklerFGM #performance

BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer (UW, MF, WG, AM), pp. 416–427.

SAC-2012-LiuCZ #approach #architecture #petri net #self #towards

Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures (YL, WC, BZ), pp. 1858–1865.

ICSE-2012-Camilli #analysis #in the cloud #petri net

Petri nets state space analysis in the cloud (MC), pp. 1638–1640.

LICS-2012-HaddadSS #complexity #petri net #recursion

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.

CASE-2011-Aguayo-LaraRR #invariant #petri net

Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.

CASE-2011-BallariniDDHP #composition #flexibility #modelling #petri net #verification

Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.

CASE-2011-Bonhomme #petri net #realtime #scheduling

A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.

CASE-2011-CabasinoGSSZ #fault #petri net #using

Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.

CASE-2011-CordoneP #monitoring #optimisation #petri net

Monitor optimization in Petri net control (RC, LP), pp. 413–418.

CASE-2011-DotoliFI #first-order #hybrid #petri net

A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.

CASE-2011-GhomriA #hybrid #petri net #using

Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.

CASE-2011-WangZW #petri net

Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.

TACAS-2011-WimmelW #equation #petri net

Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.

AFL-2011-Kunimochi #algebra #morphism #petri net

Algebraic Properties of Petri Net Morphisms based on Place Connectivity (YK), pp. 270–284.

ICEIS-v1-2011-ZhangYZ #modelling #petri net #research #workflow

Research on Workflow Modeling based on Coloured Petri Net (LZ, JY, YZ), pp. 423–426.

SEKE-2011-LiuL #analysis #parallel #petri net #pointer #thread

Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.

SEKE-2011-LiuZH #modelling #petri net #pipes and filters

PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.

SEKE-2011-SunHGZWY #detection #novel #petri net #using

A Novel Method for Formally Detecting RFID Event Using Petri Nets (JS, YH, XG, SZ, LW, CYY), pp. 122–125.

QAPL-2011-AmanC #petri net

Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.

SAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #petri net #source code #thread

Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.

LICS-2011-AbdullaM #petri net

Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.

CASE-2010-CabasinoGS #fault #petri net #using

Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (MPC, AG, CS), pp. 485–490.

CASE-2010-WuZ #bound #clustering #petri net #process #scheduling #tool support

Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.

TACAS-2010-BuchsHMR #algebra #named #petri net

AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.

ICALP-v2-2010-HabermehlMW #petri net

The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.

LATA-2010-VelardoD #comparison #order #petri net

Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.

GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation #petri net

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).

ICGT-2010-Esparza #concurrent #tool support

A False History of True Concurrency: From Petri to Tools (JE), pp. 1–2.

ICGT-2010-Modica #analysis #communication #formal method #modelling #petri net

Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.

SEKE-2010-WangHW #analysis #petri net #process

A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.

ECMFA-2010-KessentiniBSB #diagrams #heuristic #petri net #sequence chart #using

Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.

ASE-2009-WimmerKSKRS #debugging #petri net #qvt

A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.

CASE-2009-BasileCG #petri net

A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.

CASE-2009-DotoliFMSU #analysis #petri net

The impact of ICT on an Intermodal Transportation System: an analysis by Petri Nets (MD, MPF, AMM, GS, WU), pp. 513–518.

CASE-2009-DotoliFMU #fault #framework #online #petri net

On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.

CASE-2009-LeeB #architecture #composition #nondeterminism #petri net

A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.

CASE-2009-VazquezS #markov #modelling #performance #petri net

Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.

FoSSaCS-2009-AbdullaM #low cost #petri net #reachability

Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (PAA, RM), pp. 348–363.

TACAS-2009-LimeRST #model checking #named #parametricity #petri net

Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.

TACAS-2009-NaumovichBG #bound #named #performance #petri net

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.

CIAA-J-2008-Yen09 #composition #petri net

Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.

DLT-2009-Zetzsche #matrix #petri net

Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.

LATA-2009-AbdullaDB #comparison #petri net

A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.

LATA-2009-DassowT #petri net

Grammars Controlled by Special Petri Nets (JD, ST), pp. 326–337.

FM-2009-Eshuis #petri net

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.

IFM-2009-Rakow #petri net #reduction

Decompositional Petri Net Reductions (AR), pp. 352–366.

AdaEurope-2009-ChoppyBC #petri net #recognition

Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.

ICEIS-ISAS-2009-ZhangR #petri net #process

A Petri Net Model of Process Platform-based Production Configuration (LLZ, BR), pp. 5–12.

MoDELS-2009-LaraG #petri net #qvt

Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.

MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.

MoDELS-2009-LaraG #petri net #qvt

Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.

MoDELS-2009-WimmerKSKRS #debugging #modelling #petri net #qvt #using

Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.

SAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #petri net #realtime #sequence chart #uml #validation

Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.

TestCom-FATES-2009-BochmannJ #petri net #testing

Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.

CASE-2008-DotoliFM #automation #fault #first-order #hybrid #monitoring #petri net

Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.

CASE-2008-NishiTI #approach #automation #composition #optimisation #petri net

Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.

CASE-2008-RussoMCK #automation #modelling #petri net

Petri net modeling and automated system control of protein crystallization experimentation in drug discovery (MFR, SM, MHC, HK), pp. 906–911.

CASE-2008-Tang #adaptation #modelling #petri net

Unified Colored Timed Petri net models for the adaptive control of disassembly systems (YT), pp. 638–643.

CASE-2008-WuZPCC #clustering #constraints #modelling #petri net #process #realtime #tool support

Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (NW, MZ, SP, FC, CC), pp. 109–114.

DATE-2008-WeinbergerBB #design #modelling #petri net #process #verification #workflow

Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits (KW, SB, RB), pp. 937–938.

CIAA-2008-Yen #concurrent #petri net

Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.

LATA-2008-DassowT #petri net

k-Petri Net Controlled Grammars (JD, ST), pp. 209–220.

SFM-2008-HeinerGD #biology #petri net

Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.

ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process

Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.

AdaEurope-2008-CarnevaliGV #formal method #petri net

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.

AdaEurope-2008-ChoppyPR #approach #modelling #petri net

A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.

CAiSE-2008-SofferKW #modelling #ontology #petri net #process #semantics

Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.

EDOC-2008-AmeedeenB #approach #diagrams #modelling #petri net #sequence chart

A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.

ICEIS-ISAS2-2008-ZhangRSG #approach #petri net #product line

Production Configuration of Product Families — An Approach based on Petri Nets (LZ, BR, JS, GJCG), pp. 5–11.

SEKE-2008-Chavarria-BaezL #approach #confluence #petri net #termination

Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach (LCB, XL), pp. 363–366.

SEKE-2008-Mikolajczak #case study #collaboration #object-oriented #petri net #specification

Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets — a Case Study (BM), pp. 267–272.

ECMDA-FA-2008-BenderCCFBV #metamodelling #petri net #validation

Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.

CASE-2007-BasileGS #distributed #monitoring #petri net

Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.

CASE-2007-CabasinoGMRSS #estimation #petri net

State Estimation of Petri Nets by Transformation (MPC, AG, CM, LR, CS, MS), pp. 194–199.

CASE-2007-DotoliFM #identification #monitoring #on the #petri net #specification

On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.

CASE-2007-Gonzalez-CastoloL #approximate #fuzzy #petri net #using

Approximating State of DES Using Fuzzy Timed Petri Nets (JCGC, ELM), pp. 722–728.

CASE-2007-HajiD #configuration management #petri net #project management

Petri Net based Supervisory Control Reconfiguration of Project Management Systems (MH, HD), pp. 460–465.

CASE-2007-HongC #approach #automation #petri net #resource management

Resource Allocation for a Life Science Automation Line: a Petri nets Approach (TH, MYC), pp. 887–892.

CASE-2007-MoralesGM #effectiveness #fault #network #petri net

Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net (RAGM, JIG, PEM), pp. 357–362.

CASE-2007-Ruiz-BeltranRLA #modelling #petri net

A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.

CASE-2007-VanijjirattikhanKCS #biology #modelling #petri net #process #simulation

Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process (RV, DK, MYC, NS), pp. 442–447.

CASE-2007-ZhaoLZ #on the #petri net

On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.

TACAS-2007-DAprileDSS #approach #automaton #petri net

From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.

SFM-2007-Balbo #petri net #probability

Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.

DHM-2007-WertherMR #analysis #petri net #process #simulation

Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes (BW, CM, MR), pp. 1027–1036.

ICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #petri net #weaving

Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.

ICEIS-SAIC-2007-BoukadiGMB #petri net #specification #using #verification #web #web service

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets (KB, CG, ZM, DB), pp. 107–112.

SAC-2007-HuangW #petri net #semantics #web #web service

A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.

SAC-2007-OliveiraAS #component #formal method #model checking #modelling #petri net #using #verification

Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.

CASE-2006-GuoLX #modelling #on the #petri net #using

On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.

CASE-2006-LiuWL #algorithm #performance #petri net #set

A fast algorithm to find a set of elementary siphons for a class of petri nets (XL, AW, ZL), pp. 399–404.

CASE-2006-NishiM #composition #optimisation #petri net #problem

Decomposition of Petri Nets for Optimization of Routing Problem for AGVs in Semiconductor Fabrication Bays (TN, RM), pp. 236–241.

CASE-2006-RecaldeMS #analysis #petri net #simulation

Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.

CASE-2006-WuZ #clustering #constraints #petri net #scheduling #tool support

Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (NW, MZ), pp. 87–92.

DATE-2006-KarlssonEP #design #petri net #representation #using #verification

Formal verification of systemc designs using a petri-net based representation (DK, PE, ZP), pp. 1228–1233.

FoSSaCS-2006-BaldanHK #distributed #petri net

Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.

ICALP-v2-2006-BouyerHR #automaton #petri net #power of #sequence

Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.

ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination

Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.

EDOC-2006-DongYZ #composition #petri net #testing #using #web #web service

Testing BPEL-based Web Service Composition Using High-level Petri Nets (WLD, HY, YBZ), pp. 441–444.

ICEIS-AIDSS-2006-ProchazkaKK #fuzzy #information management #petri net #process #using

Various Process Wizard for Information Systems — Using Fuzzy Petri Nets for Process Definition (JP, JK, CK), pp. 235–242.

ICEIS-ISAS-2006-BokhariP #information management #petri net #using #validation

Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.

ICEIS-SAIC-2006-KohlerMO #approach #composition #petri net

Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.

SEKE-2006-BokhariP #analysis #modelling #petri net #uml

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.

ICSE-2006-HuangBHGLQ #development #enterprise #process

Applying the Value/Petri process to ERP software development in China (LH, BWB, HH, JG, JL, CQ), pp. 502–511.

CASE-2005-CastelnuovoFP #approach #incremental #modelling #petri net #sequence

An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.

CASE-2005-FalkmanLT #algebra #petri net #process #specification #using

Specification of a batch plant using process algebra and Petri nets (PF, BL, MT), pp. 339–344.

CASE-2005-TsinarakisTV #hybrid #multi #petri net

Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.

ICALP-2005-BadouelCG #algebra #petri net

Petri Algebras (EB, JC, GG), pp. 742–754.

SEFM-2005-KuehnLE #petri net

A Proposal For Relative Time Petri Nets (JK, CL, RE), pp. 240–249.

SEFM-2005-SadaniSC #framework #petri net #verification

From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.

CAiSE-2005-DongenAV #petri net #reduction #using #verification

Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.

SAC-2005-TrentiniM #framework #java #petri net #realtime #validation

Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.

CAV-2005-GardeyLMR #named #petri net

Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.

WICSA-2004-PettitG #architecture #behaviour #concurrent #modelling #petri net #using

Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets (RGPI, HG), pp. 57–68.

FASE-2004-MoldtO #automation #named #petri net

DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets (DM, JO), pp. 209–213.

IFM-2004-ThanhK #composition #modelling #object-oriented #petri net

Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.

SEFM-2004-Fronk #algebra #analysis #approach #automation #petri net #using

Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach (AF), pp. 396–405.

SFM-2004-BihlerV #performance #petri net

Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.

ICEIS-v3-2004-Salimifard #component #modelling #petri net #using

Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.

SEKE-2004-HuS #diagrams #petri net #simulation #uml

Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.

PPDP-2004-FarwerL #model checking #petri net #prolog

Model checking object petri nets in prolog (BF, ML), pp. 20–31.

CAV-2004-SchroterK #model checking #parallel #petri net

Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.

TACAS-2003-BerthomieuV #analysis #branch #petri net

State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.

TACAS-2003-KhomenkoK #branch #petri net #process

Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.

TACAS-2003-Schmidt #invariant #petri net #using

Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.

ICEIS-v1-2003-GhomariD #approach #multi #petri net #towards

Towards a Timed-Petri Net Based Approach for Multimedia Scenario Synchronization (AG, CD), pp. 267–272.

ICEIS-v3-2003-YamaguchiWS #design #petri net #reliability #using

A High Reliability Design for Nfs Server Software By Using an Extended Petri Net (SY, KW, YS), pp. 498–502.

ICEIS-v4-2003-LingL #approach #composition #interactive #multi #petri net #protocol

Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach (SL, SWL), pp. 42–48.

GPCE-2003-ZiaeiA #coordination #distributed #named #petri net

SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.

DAC-2002-MurugavelR #estimation #modelling #petri net

Petri net modeling of gate and interconnect delays for power estimation (AKM, NR), pp. 455–460.

ITiCSE-2002-Barros #concurrent #petri net #programming

Specific proposals for the use of petri nets in a concurrent programming course (JPB), pp. 165–167.

FASE-2002-LopezLG #approach #automation #case study #generative #petri net #workflow

Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach (OL, MAL, FJGP), pp. 279–293.

TACAS-2002-HeljankoKK #algorithm #parallel #petri net

Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.

IFM-2002-KorenblatGK #petri net

Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.

ICGT-2002-LaraV #modelling #multi #petri net #process

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.

ICEIS-2002-SalimifardW #analysis #modelling #performance #petri net #using #workflow

Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets (KS, MW), pp. 843–846.

CAV-2002-KhomenkoKV #canonical #petri net

Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.

ASE-2001-GannodG #automation #petri net #using

An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.

DATE-2001-VareaA #embedded #modelling #petri net #specification

Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.

DocEng-2001-NaF #analysis #authoring #documentation #hypermedia #petri net #using

Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system (JCN, RF), pp. 38–47.

ITiCSE-2001-Barros #concurrent #petri net #programming

Use petri nets to improve your concurrent programming course (JPB), p. 192.

FoSSaCS-2001-BuscemiS #calculus #petri net

High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.

TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support

CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.

TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation

Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.

DLT-2001-ItoK #petri net

Some Petri Net Languages and Codes (MI, YK), pp. 69–80.

ICEIS-v2-2001-BarjisC #approach #aspect-oriented #modelling #petri net #process

Integrating Organizational Semiotic Approach with the Temporal Aspects of Petri Nets for Business Process Modeling (JB, SC), pp. 745–752.

SEKE-2001-LemosP #information management #interactive #modelling #petri net #using

Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets (AJPL, AP), pp. 299–306.

SEKE-2001-RamosSC #modelling #petri net #reuse

Reuse of Colored Petri Nets Software Models (FR, JFS, FCS), pp. 145–152.

ASE-2000-El-FakihYBH #automation #distributed #petri net #specification

Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.

DAC-2000-QiuWP #petri net #power management #probability #using

Dynamic power management of complex systems using generalized stochastic Petri nets (QQ, QW, MP), pp. 352–356.

HT-2000-NaF #hypermedia #petri net

Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net (JCN, RF), pp. 222–223.

CSMR-2000-Keller #petri net #reverse engineering

Reverse Engineering with Petri Nets (WK), pp. 235–238.

IFM-2000-KlaudelP #composition #concurrent #petri net #semantics

A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.

ICEIS-2000-Bosilj-VuksicGH #diagrams #modelling #petri net #process

IDEF Diagrams and Petri Nets for Business Process Modelling: Suitability, Efficacy, and Complementary Use (VBV, GMG, VH), pp. 242–247.

ICEIS-2000-DietzB #modelling #petri net #process #requirements

Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.

PPDP-2000-LeuschelL #deduction #petri net #problem

Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.

CAV-2000-AbdullaIN #bound #petri net

Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.

CL-2000-LeuschelL #deduction #petri net

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.

DAC-1999-SgroiL #embedded #petri net #synthesis #using

Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.

DATE-1999-StrehlT #diagrams #model checking #petri net

Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.

TACAS-1999-Heljanko #concurrent #logic programming #petri net #problem #reachability #semantics #source code #using

Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets (KH), pp. 240–254.

ICALP-1999-BednarczykB #morphism #petri net

General Morphisms of Petri Nets (Extended Abstract) (MAB, AMB), pp. 190–199.

FM-v2-1999-HorsteS #formal method #modelling #petri net #simulation #using

Formal Modelling and Simulation of Train Control Systems Using Petri Nets (MMzH, ES), p. 1867.

IFL-1999-Reinke #haskell #petri net

Haskell-Coloured Petri Nets (CR), pp. 165–180.

HCI-EI-1999-MoussaRMK #automation #generative #petri net #specification #user interface

A Petri Nets based Method for Specification and Automatic Generation of User Interface (FM, MR, MM, CK), pp. 988–992.

AdaEurope-1999-GarciaV #ada #petri net

Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.

CAiSE-1999-AoumeurS #distributed #information management #petri net #specification #towards #validation

Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems (NA, GS), pp. 381–395.

DATE-1998-PastorC #analysis #encoding #performance #petri net

Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.

TACAS-1998-Grahlmann #automaton #finite #parallel #petri net #source code #using

Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.

TAGT-1998-PadbergGH #development #incremental #petri net #safety

Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.

TOOLS-ASIA-1998-CheungCC #interactive #petri net

Deriving Scenarios Of Object Interaction Through Petri Net (KSC, KOC, TYC), p. 104–?.

ICSE-1998-MascarenhasKBK #analysis #artificial reality #modelling #petri net

Modeling and Analysis of a Virtual Reality System with Time Petri Nets (RM, DK, UAB, RVK), pp. 33–42.

TACAS-1997-ChristensenJK #design #named #petri net

Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.

TACAS-1997-Jensen #petri net

A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.

DLT-1997-TipleaM #petri net

Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.

ICALP-1997-Vogler #performance #petri net

Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.

ICSE-1997-KusumotoMKHTS #petri net #probability

A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.

DAC-1996-SemenovY #petri net #using #verification

Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.

TACAS-1996-BerghammerKU #algebra #analysis #perspective #petri net

Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.

TACAS-1996-GrahlmannB #named #petri net

PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.

ICALP-1996-JancarE #bisimulation #petri net

Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.

FME-1996-ShiN #petri net #specification

An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets (LS, PN), pp. 518–537.

IFL-1996-Assmann #coordination #functional #petri net #process #using

Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.

SEKE-1996-CostaPF #design #multi #petri net

A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems (EdBC, AP, JCAdF), pp. 253–260.

LOPSTR-1996-FribourgO #logic programming #petri net #reduction #source code

Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.

ISSTA-1996-ChamillardC #analysis #concurrent #petri net #source code

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.

ICSM-1995-AvrilionisC #maintenance #modelling #petri net #process #using

Using views to maintain Petri-net-based process models (DA, PYC), pp. 318–326.

DLT-1995-TipleaE #normalisation #petri net

Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.

SEKE-1995-Gattiker #functional #petri net #probability #representation

Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.

SEKE-1995-He #formal method #petri net

PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.

ICSE-1995-DwyerCN #concurrent #petri net #representation #source code

A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.

CAV-1995-HulgaardB #analysis #performance #petri net

Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.

DAC-1994-JongL #communication #concurrent #design #petri net

A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.

TAGT-1994-KorffR #graph grammar #petri net

Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.

SEKE-1994-FigueiredoPC #analysis #fuzzy #petri net #realtime #using

Timing analysis of real-time software systems using fuzzy time Petri nets (JCAdF, AP, SKC), pp. 257–266.

SEKE-1994-Kramer #modelling #petri net #process

Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.

SAC-1994-ChenB #analysis #concurrent #database #detection #performance #petri net #transaction

A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection (IRC, RB), pp. 539–544.

ISSTA-1994-BuyS #analysis #petri net #realtime #source code

Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.

ICALP-1993-BrownG #category theory #logic #petri net

Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.

CAiSE-1993-PalanqueBDS #design #interface #petri net #using

Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.

CSL-1993-Hishfeld #equivalence #petri net #problem

Petri Nets and the Equivalence Problem (YH), pp. 165–174.

ICALP-1992-BrownG #category theory #petri net

Timing Petri Nets Categorically (CB, DG), pp. 571–582.

ICALP-1992-HoogersKT #petri net #semantics

A Trace Semantics for Petri Nets (Extended Abstract) (PWH, HCMK, PST), pp. 595–604.

ICALP-1992-Vogler #communication #petri net #refinement

Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.

SEKE-1992-ShimuraLM #logic programming #petri net #semantics #source code

A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.

SEKE-1992-TuS #approach #linear #petri net #programming #static analysis

Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.

PLDI-1991-GaoWN #petri net #scheduling

A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.

VDME-1991-1-HeeSV #petri net

Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.

AdaEurope-1991-ChengU #ada #petri net #using

Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.

CAV-1991-BarbeauB #approach #fault #petri net #using #verification

The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach (MB, GvB), pp. 103–113.

CSL-1991-BestE #model checking #persistent #petri net

Model Checking of Persistent Petri Nets (EB, JE), pp. 35–52.

SEKE-1990-JeffreyM #petri net #set

A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.

SEKE-1990-KehL #design #hypermedia #named #petri net

HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer (HCK, TGL), pp. 245–250.

ICSE-1990-OswaldEM #petri net #specification

An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.

CAV-1990-BerthelotJP #analysis #named #petri net

PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.

CAV-1990-LloretAV #communication #composition #design #petri net #protocol #using #verification

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.

LICS-1990-BrownG #category theory #framework #linear #petri net

A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.

SEKE-1989-HeL #logic #petri net #specification

Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.

SEKE-1989-MurataY #petri net #realtime #rule-based

Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.

DAC-1988-Razouk #modelling #petri net #pipes and filters

The Use of Petri Nets for Modeling Pipelined Processors (RRR), pp. 548–553.

LICS-1988-MeseguerM #algebra #monad #petri net

Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.

LICS-1988-Winskel #composition #petri net #proving

A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) (GW), pp. 142–154.

ICSE-1987-Kramer #data type #distributed #named #petri net #specification

SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.

OOPSLA-1986-BrunoB #distributed #modelling #object-oriented #petri net

Petri Net-Based Object-Oriented Modeling of Distributed Systems (GB, AB), pp. 284–293.

ICSE-1985-BrunoM #agile #petri net #prototype #using

Rapid Prototyping of Control Systems Using High Level Petri Nets (GB, GM), pp. 230–237.

RTA-1985-ChoppyJ #named #petri net #proving #term rewriting

PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.

ICALP-1984-GoltzM #on the #petri net

On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.

ICSE-1984-AzemaJSM #distributed #petri net #prolog #specification #using #verification

Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets (PA, GJ, ES, MM), pp. 510–519.

DAC-1983-Vida-TorkuH #generative #heuristic #petri net #testing

Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.

RE-1983-Reisig #design #petri net #using

System Design Using Petri Nets (WR), pp. 29–41.

GG-1982-GenrichJRT #graph grammar #petri net

Petri nets and their relation to graph grammars (HJG, DJ, GR, PST), pp. 115–129.

STOC-1981-Mayr #algorithm #petri net #problem #reachability

An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.

ICALP-1978-Valk #petri net #self

Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.

DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification

Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.

STOC-1976-CardozaLM #commutative #exponential #petri net #problem

Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.

POPL-1975-LauerC #petri net

A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.

SOSP-1973-Kosaraju #petri net

Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.